$\forall$$T$:Type, $L$:($T$ List). $L$ $\subseteq$ [] $\Leftarrow\!\Rightarrow$ ($L$ = [])